proof theory 相关频道
proof theory 优惠券折扣 (3)
书籍/杂志/报纸1126券后价
1325海外直订Goal-Directed Proof Theory 目标导向证明理论
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸1126券后价
1325海外直订Combinators, λ-Terms and Proof Theory 组合器λ-术语与证明理论
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸1126券后价
1325海外直订Advances in Proof Theory 证明理论的进展
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸1126券后价
1325海外直订Goal-Directed Proof Theory 目标导向证明理论
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸306券后价
360海外直订Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic 形式逻辑的探索：第二卷：谓词
天猫好物中华商务图书专营店
10元优惠券书籍/杂志/报纸295券后价
347海外直订Proof Theory of N4-Paraconsistent Logics N4准一致逻辑的证明理论
天猫好物中华商务图书专营店
10元优惠券书籍/杂志/报纸338券后价
396海外直订Mathematical Proof Theory 数学证明理论
天猫好物中华商务图书专营店
10元优惠券书籍/杂志/报纸1359券后价
1590海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸1359券后价
1590海外直订Proof Theory for Fuzzy Logics 模糊逻辑的证明理论
天猫好物中华商务图书专营店
40元优惠券书籍/杂志/报纸2104券后价
2460海外直订Handbook of Proof Theory 证明理论手册
天猫好物中华商务图书专营店
60元优惠券书籍/杂志/报纸401券后价
468海外直订Proof Theory and Algebra in Logic 证明理论与逻辑代数“，
天猫好物中华商务图书专营店
10元优惠券书籍/杂志/报纸2860券后价
3319海外直订Ways of Proof Theory 证明理论的方法
天猫好物中华商务图书专营店
60元优惠券书籍/杂志/报纸2864券后价
3323海外直订Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 还原逻辑与证明搜索：证明理论、语义学
天猫好物中华商务图书专营店
60元优惠券书籍/杂志/报纸280官方立减
319【3-4周达】Proof Theory of N4-Paraconsistent Logics [9781848901674]
天猫好物澜瑞图书专营店
优惠39元书籍/杂志/报纸238官方立减
271预订 Proof Theory: Second Edition (Second Edition) [9780486490731]
天猫好物澜瑞图书专营店
优惠33元书籍/杂志/报纸484官方立减
551预订 Logic Programming: Operational Semantics and Proof Theory - Logic Programming: Operational Seman... [9780521607544]
天猫好物澜瑞图书专营店
优惠67元书籍/杂志/报纸376官方立减
428【3-4周达】ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Bir... [9783540075332]
天猫好物澜瑞图书专营店
优惠52元书籍/杂志/报纸405官方立减
461【3-4周达】Proof Theory and Algebra in Logic [9789811379963]
天猫好物澜瑞图书专营店
优惠56元书籍/杂志/报纸550官方立减
626预订 Structural Proof Theory [9780521068420]
天猫好物澜瑞图书专营店
优惠76元书籍/杂志/报纸580官方立减
660【3-4周达】Proof Theory and Automated Deduction [9781402003684]
天猫好物澜瑞图书专营店
优惠80元书籍/杂志/报纸580官方立减
660【3-4周达】Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria... [9783540633853]
天猫好物澜瑞图书专营店
优惠80元书籍/杂志/报纸580官方立减
660【3-4周达】Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech R... [9783540571841]
天猫好物澜瑞图书专营店
优惠80元书籍/杂志/报纸733官方立减
834【3-4周达】Ordinal Analysis with an Introduction to Proof Theory [9789811564611]
天猫好物澜瑞图书专营店
优惠101元书籍/杂志/报纸675官方立减
768预订 精装 Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Tec... [9789811268533]
天猫好物澜瑞图书专营店
优惠93元书籍/杂志/报纸843官方立减
959【3-4周达】Proof Theory: Sequent Calculi and Related Formalisms [9781032920771]
天猫好物澜瑞图书专营店
优惠116元书籍/杂志/报纸262官方立减
298现货 证明理论导论 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Pr... [9780192895943]
天猫好物澜瑞图书专营店
优惠36元书籍/杂志/报纸1114官方立减
1267【3-4周达】精装 Advances in Proof Theory (1st ed. 2016) [9783319291963]
天猫好物澜瑞图书专营店
优惠153元书籍/杂志/报纸561官方立减
638【3-4周达】A Proof Theory for General Unification [9781461267584]
天猫好物澜瑞图书专营店
优惠77元书籍/杂志/报纸561官方立减
638【3-4周达】精装 A Model–Theoretic Approach to Proof Theory [9783030289201]
天猫好物澜瑞图书专营店
优惠77元书籍/杂志/报纸561官方立减
638【3-4周达】A Model–Theoretic Approach to Proof Theory [9783030289232]
天猫好物澜瑞图书专营店
优惠77元